Search results for "Herbranda teorēma"

Rezolūcijas teorijas lietojums pirmās kārtas loģikā

2015

Darbā tiek aplūkota rezolūciju metode, kas balstās pierādījumā no pretējā. Pieradījumā no pretējā tiek parādīts, ka pierādāmās formulas noliegums noved pie pretrunām ar aksiomu sistēmu. Šī darba mērķis ir sniegt rezolūciju metodes teorētisku pamatojumu un implementēt rezolūciju metodi datorprogrammas veidā. Darbā sniegts pirmās kārtas loģikas valodas apraksts, definēts loģisko seku jēdziens, aplūkoti rezolūciju metodei nepieciešamie formulu pārveidojumi, pieradīta Herbranda teorēma, aplūkota pirmās kārtas loģikas formulu unifikācija, formulēti vienkāršākie rezolūciju metodes paņēmieni un sniegts teorētiskais pamatojums to lietošanai. Darbs uzrakstīts latviešu valodā, tajā ir 179 lappuses, 1…